COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Tentatively (1980 May 26) I am disappointed with the first two chapters
C00004 ENDMK
C⊗;
Tentatively (1980 May 26) I am disappointed with the first two chapters
of Doyle's thesis.  I fear it is mainly wishful thinking, taking out
loans of formalism that cannot be repaid.  Theories as objects are well
and good, but it seems doubtful that he will be able to represent
concrete intellectual states as assertions about theories.  He shows
no sign of having faced the problem of referring to as yet unformulated
theories in ways that don't presuppose a particular formal language.
Thus he hasn't faced having a program that doesn't know the parts of
an automoble saying "John knows how cars work" or asking what are the
facts of embryology when no-one knows the facts of embryology.